VDict mobile



An interpreter for SB-Prolog version 3.1 extended with
ML-style modules. Runs on SPARC. Distributed under
. E-mail:
Brian Paxton [email protected].
["A Calculus for the Construction of Modular Prolog Programs",
D. Sannella et al, J Logic Prog 12:147-177 (1992)].
(1994-10-25)